<?php
// On appelle la session
session_start();


// On écrase le tableau de session
$_SESSION = array();
echo "Vous venez de vous déconnecter";
// On détruit la session
session_destroy();
// On redirige le visiteur vers la page d'accueil
?>